[IA64] Fix xen build warning
authorAlex Williamson <alex.williamson@hp.com>
Tue, 12 Jun 2007 22:54:19 +0000 (16:54 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Tue, 12 Jun 2007 22:54:19 +0000 (16:54 -0600)
Signed-off-by: Alex Williamson <alex.williamson@hp.com>
xen/include/asm-ia64/vcpu.h

index 04aeac96c5c4e5c5a07b95ee871301ec6998d16b..448b8a8a290721e011dbbbe3f8676c34e0115aa3 100644 (file)
@@ -42,6 +42,7 @@ extern IA64FAULT vcpu_get_ar(VCPU * vcpu, u64 reg, u64 * val);
 /* psr */
 extern BOOLEAN vcpu_get_psr_ic(VCPU * vcpu);
 extern u64 vcpu_get_psr(VCPU * vcpu);
+extern IA64FAULT vcpu_set_psr(VCPU * vcpu, u64 val);
 extern IA64FAULT vcpu_get_psr_masked(VCPU * vcpu, u64 * pval);
 extern IA64FAULT vcpu_reset_psr_sm(VCPU * vcpu, u64 imm);
 extern IA64FAULT vcpu_set_psr_sm(VCPU * vcpu, u64 imm);